#include<stdio.h>
int main()
{
    
	printf("%hd", 38674);
	return 0;
}
